List Homomorphisms to Reflexive Graphs

Let H be a fixed graph. We introduce the following list homomorphism problem: Given an input graph G and for each vertex v of G a ``list'' L(v) V(H), decide whether or not there is a homomorphism f : G H such that f (v) # L(v) for each v #V(G). We discuss this problem primarily in the context of reflexive graphs, i.e., graphs in which each vertex has a loop. We give a polynomial time algorithm to solve the problem when H is an interval graph and prove that when H is not an interval graph the problem is NP-complete. If the lists are restricted to induce connected subgraphs of H, we give a polynomial time algorithm when H is a chordal graph and prove that when H is not chordal the problem is again NP-complete. We also argue that the complexity of certain other modifications of the problem (including the retract problem) are likely to be difficult to classify. Finally, we mention some newer results on irreflexive and general graphs. 1998 Academic Press